[INFO] cloning repository https://github.com/wormhole-optimization/wopt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/wormhole-optimization/wopt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwormhole-optimization%2Fwopt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwormhole-optimization%2Fwopt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 013f89d8b1b9d2e61b09ad49d27945ee9374bab8
[INFO] checking wormhole-optimization/wopt against try#72f88fc4e9458f89516a0b8b0868f3718aec5b47 for pr-74989
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwormhole-optimization%2Fwopt" "/workspace/builds/worker-13/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-13/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/wormhole-optimization/wopt on toolchain 72f88fc4e9458f89516a0b8b0868f3718aec5b47
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/wormhole-optimization/wopt
[INFO] removed path dependency egg from git repo https://github.com/wormhole-optimization/wopt
[INFO] finished tweaking git repo https://github.com/wormhole-optimization/wopt
[INFO] tweaked toml for git repo https://github.com/wormhole-optimization/wopt written to /workspace/builds/worker-13/source/Cargo.toml
[INFO] crate git repo https://github.com/wormhole-optimization/wopt already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: the lock file /workspace/builds/worker-13/source/Cargo.lock needs to be updated but --locked was passed to prevent this
[INFO] [stderr] If you want to try to generate the lock file without accessing the network, use the --offline flag.
[INFO] the lockfile is outdated, regenerating it
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded egg v0.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cf8fda07e4df418a9085ad6182c72acc47e5c9210eca874f7d28c25768b579fa
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "cf8fda07e4df418a9085ad6182c72acc47e5c9210eca874f7d28c25768b579fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cf8fda07e4df418a9085ad6182c72acc47e5c9210eca874f7d28c25768b579fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf8fda07e4df418a9085ad6182c72acc47e5c9210eca874f7d28c25768b579fa", kill_on_drop: false }`
[INFO] [stdout] cf8fda07e4df418a9085ad6182c72acc47e5c9210eca874f7d28c25768b579fa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f0d6689fe51c332ba08374ee5fccd96aa638dc5003d9e3e47f7ee6ef2abadcdf
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "f0d6689fe51c332ba08374ee5fccd96aa638dc5003d9e3e47f7ee6ef2abadcdf", kill_on_drop: false }`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.77
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking hashbrown v0.9.0
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]     Checking instant v0.1.6
[INFO] [stderr]     Checking smallvec v1.4.2
[INFO] [stderr]     Checking thread_local v1.0.1
[INFO] [stderr]     Checking memchr v2.3.3
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.21
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]     Checking smallvec v0.6.13
[INFO] [stderr]     Checking aho-corasick v0.7.13
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling indexmap v1.6.0
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling syn v1.0.41
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking regex v1.3.9
[INFO] [stderr]     Checking egg v0.3.0
[INFO] [stderr]     Checking ordered-float v1.1.0
[INFO] [stderr]     Checking nanoid v0.2.0
[INFO] [stderr]     Checking env_logger v0.6.2
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]     Checking wopt v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved imports `egg::define_term`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stdout]  --> src/lib.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     define_term,
[INFO] [stdout]   |     ^^^^^^^^^^^ no `define_term` in the root
[INFO] [stdout] 3 |     egraph::EClass,
[INFO] [stdout] 4 |     expr::{Expr, Id, Language, Name},
[INFO] [stdout]   |            ^^^^                ^^^^ no `Name` in `expr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `Expr` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `egg::egraph::AddResult`, `egg::parse::ParsableLanguage`, `egg::pattern::Rewrite`, `egg::pattern::WildMap`, `egg::expr::QuestionMarkName`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stdout]   --> src/rules.rs:11:22
[INFO] [stdout]    |
[INFO] [stdout] 11 |     egraph::{EGraph, AddResult},
[INFO] [stdout]    |                      ^^^^^^^^^ no `AddResult` in `egraph`
[INFO] [stdout] 12 |     parse::ParsableLanguage,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ no `ParsableLanguage` in `parse`
[INFO] [stdout] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stdout]    |               ^^^^^^^           ^^^^^^^ no `WildMap` in `pattern`
[INFO] [stdout]    |               |
[INFO] [stdout]    |               no `Rewrite` in `pattern`
[INFO] [stdout] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^  ^^^^  ^^^^ no `Name` in `expr`
[INFO] [stdout]    |            |                 |
[INFO] [stdout]    |            |                 no `Expr` in `expr`
[INFO] [stdout]    |            no `QuestionMarkName` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Math`
[INFO] [stdout]  --> src/rules.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::{Math, Meta};
[INFO] [stdout]   |             ^^^^ no `Math` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `egg::define_term`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stdout]  --> src/lib.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     define_term,
[INFO] [stdout]   |     ^^^^^^^^^^^ no `define_term` in the root
[INFO] [stdout] 3 |     egraph::EClass,
[INFO] [stdout] 4 |     expr::{Expr, Id, Language, Name},
[INFO] [stdout]   |            ^^^^                ^^^^ no `Name` in `expr`
[INFO] [stdout]   |            |
[INFO] [stdout]   |            no `Expr` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `egg::egraph::AddResult`, `egg::parse::ParsableLanguage`, `egg::pattern::Rewrite`, `egg::pattern::WildMap`, `egg::expr::QuestionMarkName`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stdout]   --> src/rules.rs:11:22
[INFO] [stdout]    |
[INFO] [stdout] 11 |     egraph::{EGraph, AddResult},
[INFO] [stdout]    |                      ^^^^^^^^^ no `AddResult` in `egraph`
[INFO] [stdout] 12 |     parse::ParsableLanguage,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ no `ParsableLanguage` in `parse`
[INFO] [stdout] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stdout]    |               ^^^^^^^           ^^^^^^^ no `WildMap` in `pattern`
[INFO] [stdout]    |               |
[INFO] [stdout]    |               no `Rewrite` in `pattern`
[INFO] [stdout] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^  ^^^^  ^^^^ no `Name` in `expr`
[INFO] [stdout]    |            |                 |
[INFO] [stdout]    |            |                 no `Expr` in `expr`
[INFO] [stdout]    |            no `QuestionMarkName` in `expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Math`
[INFO] [stdout]  --> src/rules.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::{Math, Meta};
[INFO] [stdout]   |             ^^^^ no `Math` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]   --> src/lib.rs:57:39
[INFO] [stdout]    |
[INFO] [stdout] 57 |         hs.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stdout]    |                                       ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:108:54
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     hopps.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stdout]     |                                                      ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]   --> src/lib.rs:57:39
[INFO] [stdout]    |
[INFO] [stdout] 57 |         hs.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stdout]    |                                       ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:108:54
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     hopps.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stdout]     |                                                      ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:165:13
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Math::Add => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:174:13
[INFO] [stdout]     |
[INFO] [stdout] 174 |             Math::Mul => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:182:13
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Math::Agg => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:192:13
[INFO] [stdout]     |
[INFO] [stdout] 192 |             Math::Dim => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:204:13
[INFO] [stdout]     |
[INFO] [stdout] 204 |             Math::Matrix => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |             Math::Constant(n) => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             Math::Val => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:222:13
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Math::Variable(v) => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:227:13
[INFO] [stdout]     |
[INFO] [stdout] 227 |             Math::Subst => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:165:13
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Math::Add => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:174:13
[INFO] [stdout]     |
[INFO] [stdout] 174 |             Math::Mul => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:182:13
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Math::Agg => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:192:13
[INFO] [stdout]     |
[INFO] [stdout] 192 |             Math::Dim => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:204:13
[INFO] [stdout]     |
[INFO] [stdout] 204 |             Math::Matrix => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:213:13
[INFO] [stdout]     |
[INFO] [stdout] 213 |             Math::Constant(n) => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]   --> src/lib.rs:20:55
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn parse_hop(_s: &str) -> Vec<(Vec<u32>, Id, Expr<Math, Id>, Vec<i64>)> {
[INFO] [stdout]    |                 -                                     ^^^^ not found in this scope
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             Math::Val => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:118:53
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stdout]     |                      -                              ^^^^ not found in this scope
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: you might be missing a type parameter: `, Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:222:13
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Math::Variable(v) => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:143:19
[INFO] [stdout]     |
[INFO] [stdout] 143 | impl Language for Math {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stdout]    --> src/lib.rs:227:13
[INFO] [stdout]     |
[INFO] [stdout] 227 |             Math::Subst => {
[INFO] [stdout]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:156:28
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     -                      ^^^^ not found in this scope
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:163:24
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] ...
[INFO] [stdout] 163 |     fn make(expr: Expr<Math, &Self>) -> Self {
[INFO] [stdout]     |                        ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:256:36
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] ...
[INFO] [stdout] 256 |     fn modify(_eclass: &mut EClass<Math, Self>) {
[INFO] [stdout]     |                                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/lib.rs:3:5
[INFO] [stdout]    |
[INFO] [stdout] 3  |     egraph::EClass,
[INFO] [stdout]    |     ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `expr` is private
[INFO] [stdout]   --> src/lib.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout] 4  |     expr::{Expr, Id, Language, Name},
[INFO] [stdout]    |     ^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `expr` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | mod expr;
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/rules.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     egraph::{EGraph, AddResult},
[INFO] [stdout]    |     ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `parse` is private
[INFO] [stdout]   --> src/rules.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     parse::ParsableLanguage,
[INFO] [stdout]    |     ^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `parse` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:70:1
[INFO] [stdout]    |
[INFO] [stdout] 70 | mod parse;
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `pattern` is private
[INFO] [stdout]   --> src/rules.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stdout]    |     ^^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `pattern` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | mod pattern;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `expr` is private
[INFO] [stdout]   --> src/rules.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stdout]    |     ^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `expr` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | mod expr;
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]    --> src/lib.rs:118:38
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stdout]     |                                      ^^^^^^ private module
[INFO] [stdout]     |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | mod egraph;
[INFO] [stdout]     | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/rules.rs:26:23
[INFO] [stdout]    |
[INFO] [stdout] 26 |     egraph: &mut egg::egraph::EGraph<Math, Meta>,
[INFO] [stdout]    |                       ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]    --> src/lib.rs:156:11
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |           ^^^^^^ private module
[INFO] [stdout]     |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | mod egraph;
[INFO] [stdout]     | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]   --> src/lib.rs:20:55
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn parse_hop(_s: &str) -> Vec<(Vec<u32>, Id, Expr<Math, Id>, Vec<i64>)> {
[INFO] [stdout]    |                 -                                     ^^^^ not found in this scope
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:118:53
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stdout]     |                      -                              ^^^^ not found in this scope
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: you might be missing a type parameter: `, Math`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:143:19
[INFO] [stdout]     |
[INFO] [stdout] 143 | impl Language for Math {
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:156:28
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     -                      ^^^^ not found in this scope
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:163:24
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] ...
[INFO] [stdout] 163 |     fn make(expr: Expr<Math, &Self>) -> Self {
[INFO] [stdout]     |                        ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Math` in this scope
[INFO] [stdout]    --> src/lib.rs:256:36
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stdout] ...
[INFO] [stdout] 256 |     fn modify(_eclass: &mut EClass<Math, Self>) {
[INFO] [stdout]     |                                    ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/lib.rs:3:5
[INFO] [stdout]    |
[INFO] [stdout] 3  |     egraph::EClass,
[INFO] [stdout]    |     ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `expr` is private
[INFO] [stdout]   --> src/lib.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout] 4  |     expr::{Expr, Id, Language, Name},
[INFO] [stdout]    |     ^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `expr` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | mod expr;
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/rules.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     egraph::{EGraph, AddResult},
[INFO] [stdout]    |     ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `parse` is private
[INFO] [stdout]   --> src/rules.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     parse::ParsableLanguage,
[INFO] [stdout]    |     ^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `parse` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:70:1
[INFO] [stdout]    |
[INFO] [stdout] 70 | mod parse;
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `pattern` is private
[INFO] [stdout]   --> src/rules.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stdout]    |     ^^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `pattern` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | mod pattern;
[INFO] [stdout]    | ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `expr` is private
[INFO] [stdout]   --> src/rules.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stdout]    |     ^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `expr` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stdout]    |
[INFO] [stdout] 68 | mod expr;
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Hasher`
[INFO] [stdout]  --> src/rules.rs:4:23
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::hash::{Hash, Hasher};
[INFO] [stdout]   |                       ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]    --> src/lib.rs:118:38
[INFO] [stdout]     |
[INFO] [stdout] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stdout]     |                                      ^^^^^^ private module
[INFO] [stdout]     |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | mod egraph;
[INFO] [stdout]     | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]   --> src/rules.rs:26:23
[INFO] [stdout]    |
[INFO] [stdout] 26 |     egraph: &mut egg::egraph::EGraph<Math, Meta>,
[INFO] [stdout]    |                       ^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]    |
[INFO] [stdout] 67 | mod egraph;
[INFO] [stdout]    | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0603]: module `egraph` is private
[INFO] [stdout]    --> src/lib.rs:156:11
[INFO] [stdout]     |
[INFO] [stdout] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stdout]     |           ^^^^^^ private module
[INFO] [stdout]     |
[INFO] [stdout] note: the module `egraph` is defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stdout]     |
[INFO] [stdout] 67  | mod egraph;
[INFO] [stdout]     | ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Hasher`
[INFO] [stdout]  --> src/rules.rs:4:23
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::hash::{Hash, Hasher};
[INFO] [stdout]   |                       ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 29 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433, E0603.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 29 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433, E0603.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `wopt`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "f0d6689fe51c332ba08374ee5fccd96aa638dc5003d9e3e47f7ee6ef2abadcdf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f0d6689fe51c332ba08374ee5fccd96aa638dc5003d9e3e47f7ee6ef2abadcdf", kill_on_drop: false }`
[INFO] [stdout] f0d6689fe51c332ba08374ee5fccd96aa638dc5003d9e3e47f7ee6ef2abadcdf
